Federer makes Halle semis but Zverev goes out

Roger Federer beats Roberto Bautista Agut in the Halle Open quarter-finals but world number five Alexander Zverev is knocked out by David Goffin.